Universal specialization semilattices
نویسندگان
چکیده
A specialization semilattice is a structure which can be embedded into $(\mathcal P(X), \cup, \sqsubseteq )$, where $X$ topological space, $ x y$ means $x \subseteq Ky$, for $x,y X$, and $K$ closure in $X$. Specialization semilattices posets appear as auxiliary structures many disparate scientific fields, even unrelated to topology. In general, not expressible semilattice. On the other hand, we show that every canonically "principal" actually defined.
منابع مشابه
Modelling Specialization as BLOOM semilattices
The capabilities of a data model to represent any conceptualization (expressiveness) are very important for faithful modelling. Focusing on the generalization/specialization dimension, unique features of the BLOOM model are presented: specialization criteria, four kinds of specialization, usage of specialization metaclasses, transitive specializations, combinations of specializations that autom...
متن کاملMaking Universal Induction Efficient by Specialization
Efficient pragmatic methods in artificial intelligence can be treated as results of specialization of models of universal intelligence with respect to a certain task or class of environments. Thus, specialization can help to create efficient AGI preserving its universality. This idea is promising, but has not yet been applied to concrete models. Here, we considered the task of mass induction, w...
متن کاملCongruence Lattices of Semilattices
The main result of this paper is that the class of congruence lattices of semilattices satisfies no nontrivial lattice identities. It is also shown that the class of subalgebra lattices of semilattices satisfies no nontrivial lattice identities. As a consequence it is shown that if 5^* is a semigroup variety all of whose congruence lattices satisfy some fixed nontrivial lattice identity, then a...
متن کاملSemilattices of Breadth Three
A 1984 problem of S. Z. Ditor asks whether there exists a lattice of cardinality א2, with zero, in which every principal ideal is finite and every element has at most three lower covers. We prove that the existence of such a lattice follows from either one of two axioms that are known to be independent of ZFC, namely (1) Martin’s Axiom restricted to collections of א1 dense subsets in posets of ...
متن کاملTrees as semilattices
We study semilattices whose diagrams are trees. First, we characterize them as semilattices whose convex subsemilattices form a convex geometry, or, equivalently, the closure induced by convex subsemilattices is antiexchange. Then we give lattice theoretic and two graph theoretic characterizations of atomistic semilattices with tree diagrams.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quaestiones Mathematicae
سال: 2022
ISSN: ['1727-933X', '1607-3606']
DOI: https://doi.org/10.2989/16073606.2022.2126805